CRefine: Support for the Circus Refinement Calculus.

Authors :: Oliveira, M.
Gurgel, A.C.
Castro, C.G.
Source :: 2008 Sixth IEEE International Conference on Software Engineering & Formal Methods; 2008, p281-290, 10p
Publication Year :: 2008

Language :: English
ISBNs :: 9780769534374
Database :: Complementary Index
Journal :: 2008 Sixth IEEE International Conference on Software Engineering & Formal Methods
Publication Type :: Conference
Accession number :: 81057971
Full Text :: https://doi.org/10.1109/SEFM.2008.9