Revision as of 14:31, 24 August 2012 by Stefan.ciobaca
Stefan Ciobaca is a research assistant an the Faculty of Computer Science, "Alexandru Ioan Cuza" University of Iasi, Romania.
Publications within FSL
- Reachability Logic
- Grigore Rosu, Andrei Stefanescu, Stefan Ciobaca and Brandon Moore
Technical Report http://hdl.handle.net/2142/32952, July 2012