zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–3)

Etalle, S. (ed.) et al., Proceedings of the international workshop on software verification and validation (SVV 2003), Mumbai, India, December 9–13, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 118, 57-70 (2005).
MSC:  68Q60 68Q85
BibTeX Cite
Full Text: Link
Graf, Susanne (ed.) et al., Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1785, 535-549 (2000).
MSC:  68U99 68Q60
BibTeX Cite

Filter Results by …

Document Type
Year of Publication