Lightweight Formal Methods for Computer Algebra Systems

Related research

1. Formal Methods Light: Lightweight Formal Methods

   D Jackson, J Wing in Computer (1996)

   Save reference to library · Related research 1 reader
2. Computer Algebra Systems

   S A Linton, G C Smith in An Univ Timisoara Ser MatInform (1993)

   Save reference to library · Related research 4 readers
3. A ``lightweight formal methods'' perspective on investigating aspects of interactive systems

   R C Boyatt, J E Sinclair in Preproceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (2007)

   Save reference to library · Related research 1 reader
4. VDM++: Lightweight Formal Methods Ohne Beweis

   Georg Weissenbacher in iX (2001)

   Save reference to library · Related research 2 readers
5. A Lightweight Approach to Formal Methods

   Sten Agerholm, Peter Gorm Larsen in Proceedings of the International Workshop on Current Trends in Applied Formal Methods (1998)

   Save reference to library · Related research 7 readers