|
Automatic Testing from Formal Specifications2007) Automatic Testing from Formal Specifications. In Proceedings of International Conference on Tests And Proofs (TAP) (in press), ETH Zurich, Switzerland. ( Downloads
Authors
CorrectionsECS staff and postgraduates may modify this record. TaggingDownload StatisticsMembers of ECS may view the download statistics dashboard for this record. MetadataMetadata available via OAI as: oai_dc (unqualified dublin core)
|
---|