scientific article; zbMATH DE number 1307376

MaRDI QIDQ4252883zbMATH OpenFDO

Authors

Publication date 23 June 1999

zbMATH Keywords

VerificationProceedingsWorkshopDevelopmentSystem specificationMalente (Germany)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• Special issue: Tools for system design and verification. FM-TOOLs 2000, 4th workshop, Reisensburg castle, Germany, 2000
• scientific article; zbMATH DE number 4219175
• scientific article; zbMATH DE number 2087637
• scientific article; zbMATH DE number 2011481
• scientific article; zbMATH DE number 4050950
• Special issue: Workshop on tools at VSTTE 2008. Selected papers based on the presentations at the conference on verified software: theories, tools and experiments, Toronto, Canada, October 6--9, 2008
• Formal software development in the Verification Support Environment (VSE)
• Proceedings of the 1st international workshop on harnessing theories for tool support in software (TTSS 2007), Macau, China, September 22--23, 2007
• Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013

Cited in

(2)

• scientific article; zbMATH DE number 2087637 (Why is no real title available?)
• scientific article; zbMATH DE number 4219175 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4252883)