 | 2006 |
|---|
| 5 |       | Viorel Preoteasa:
Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic.
FM 2006: 508-523 |
| 2005 |
|---|
| 4 | | Ralph-Johan Back,
Viorel Preoteasa:
An algebraic treatment of procedure refinement to support mechanical verification.
Formal Asp. Comput. 17(1): 69-90 (2005) |
| 2003 |
|---|
| 3 | | Ralph-Johan Back,
Xiaocong Fan,
Viorel Preoteasa:
Reasoning about Pointers in Refinement Calculus.
APSEC 2003: 425- |
| 2 | | Ralph-Johan Back,
Viorel Preoteasa:
Reasoning about recursive procedures with parameters.
MERLIN 2003 |
| 1999 |
|---|
| 1 |  | Viorel Preoteasa:
A Relation Between Unambiguous Regular Expressions and Abstract Data Types.
Fundam. Inform. 40(1): 53-77 (1999) |
