Stefan Ciobaca

From FSL
Jump to: navigation, search

Collaborator on the K framework and on reachability logic.

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
PDF, TR@UIUC

Personal tools
Namespaces

Variants
Actions
Navigation