ISSE

Search

Flaw Detection in Formal Specifications

W. Reif, G. Schellhorn, and A. Thums

Flaw Detection in Formal Specifications

published 2001 Proceedings of IJCAR 2001 - Automated Reasoning

Publisher: Springer Berlin Heidelberg 2001


Downloads:


Links: