Formal Methods for Extensions to CAS

Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton. Formal Methods for Extensions to CAS. In Jeannette M. Wing, Jim Woodcock, Jim Davies, editors, FM 99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II. Volume 1709 of Lecture Notes in Computer Science, pages 1758-1777, Springer, 1999. [doi]


Abstract is missing.