Elimination of Ghost Variables in Program Logics

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78663-4_1 ◽

2008 ◽

pp. 1-20 ◽

Author(s):

Martin Hofmann ◽

Mariela Pavlova

Download Full-text