State isomorphism in model programs with abstract data structures

statement of authorship
Margus Veanes, Juhan Ernits and Colin Campbell
source
Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedings
location of publication
Berlin
publisher
year of publication
pages
p. 112-127 : ill
ISBN
978-3-540-73195-5
notes
(Lecture notes in computer science ; 4574). Bibliogr.: 27 ref
language
inglise
Veanes, M., Ernits, J., Campbell, C. State isomorphism in model programs with abstract data structures // Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedings. Berlin : Springer, 2007. p. 112-127 : ill.