scientific article; zbMATH DE number 1307376
From MaRDI portal
Publication:4252883
zbMATH Open0916.00015MaRDI QIDQ4252883FDOQ4252883
Authors:
Publication date: 23 June 1999
Title of this publication is not available (Why is that?)
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
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Cited In (2)
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)
