Formal methods for extensions to CAS
Martin N Dunstan‚ Tom Kelsey‚ Ursula Martin and Steve Linton
Journal
Lecture notes in computer science
Pages
1758–1777
Publisher
SPRINGER VERLAG KG
Year
1999
Martin N Dunstan‚ Tom Kelsey‚ Ursula Martin and Steve Linton