Theoretical aspects of computer software. 4th international symposium, TACS 2001, Sendai, Japan, October 29--31, 2001. Proceedings.

zbMATH Open1045.68012MaRDI QIDQ1880418FDOQ1880418

Author name not available (Why is that?)

Publication date: 27 September 2004

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (2)

• Title not available (Why is that?)
• Theoretical aspects of computer software. 3rd international symposium, TACS '97. Sendai, Japan, September 23--26, 1997. Proceedings

Uses Software

• Coq

This page was built for publication: Theoretical aspects of computer software. 4th international symposium, TACS 2001, Sendai, Japan, October 29--31, 2001. Proceedings.

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