print

State isomorphism in model programs with abstract data structures

author
Veanes, Margus
Ernits, Juhan-Peep
Campbell, Colin
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
Springer
year of publication
2007
pages
p. 112-127 : ill
subject term
tarkvara
modelleerimine (teadus)
isomorfismid (matemaatika)
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.