Automatic Testing from Formal Specifications
2007) Automatic Testing from Formal Specifications. In Proceedings of International Conference on Tests And Proofs (TAP) (in press), ETH Zurich, Switzerland. (
ECS staff and postgraduates may modify this record.
Members of ECS may view the download statistics dashboard for this record.
Metadata available via OAI as: oai_dc (unqualified dublin core)