Skip to main content

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