|
Search the dblp DataBase
Viorel Preoteasa:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa
Reasoning about Pointers in Refinement Calculus. [Citation Graph (0, 0)][DBLP] APSEC, 2003, pp:425-0 [Conf]
- Viorel Preoteasa
Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic. [Citation Graph (0, 0)][DBLP] FM, 2006, pp:508-523 [Conf]
- Ralph-Johan Back, Viorel Preoteasa
Reasoning about recursive procedures with parameters. [Citation Graph (0, 0)][DBLP] MERLIN, 2003, pp:- [Conf]
- Ralph-Johan Back, Viorel Preoteasa
An algebraic treatment of procedure refinement to support mechanical verification. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2005, v:17, n:1, pp:69-90 [Journal]
- Viorel Preoteasa
A Relation Between Unambiguous Regular Expressions and Abstract Data Types. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1999, v:40, n:1, pp:53-77 [Journal]
Data Refinement of Invariant Based Programs. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|