Making the most of formal specification through animation, testing and proof

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: Science of Computer Programming

Abbreviated Title: Science of Computer Programming

Publisher: Elsevier BV

ISSN (Print): 01676423

Publication date Created: July 1997

Publication date (Print): July 1997

Volume: 29

Issue: 1-2

Pages: 53-78

Article

DOI: 10.1016/S0167-6423(96)00029-9

SO-VID: 54439882-36b7-49d3-972a-0110fba6902f

License:

https://www.elsevier.com/tdm/userlicense/1.0/

https://www.elsevier.com/open-access/userlicense/1.0/

History

Data availability:

Comments

Comment on this article

scite_

Cited by 5

See all cited by