Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013

MaRDI QIDQ2018856zbMATH OpenFDO

Authors

Publication date 25 March 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/journal/15710661/309

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

(1)

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

This page was built for publication: Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013

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