Refinement−Friendly Bigraphs and Spygraphs
Michael Goldsmith and Sadie Creese
Book Title
Software Engineering and Formal Methods (SEFM)‚ 2010 8th IEEE International Conference on
Organisation
IEEE
Pages
203–207
Year
2010
Michael Goldsmith and Sadie Creese