Refinement-Friendly Bigraphs and Spygraphs

2010 8th IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2010.25 ◽

2010 ◽

Cited By ~ 1

Author(s):

Michael Goldsmith ◽

Sadie Creese

Download Full-text