FME 2003: Formal methods. International symposium of formal methods Europe, Pisa, Italy, September 8--14, 2003. Proceedings
type: Item
instance of: scholarly article
title: FME 2003: Formal methods. International symposium of formal methods Europe, Pisa, Italy, September 8--14, 2003. Proceedings
zbMATH Open document ID: 1024.00043
published in: Lecture Notes in Computer Science
publication date: 2003-11-13T00:00:00Z
full work available at URL: t2805.htm
review text: For the preceding symposium see Zbl 0997.68675.
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 2003510
zbMATH Keywords: FME 2003
zbMATH Keywords: Formal methods
zbMATH Keywords: Pisa (Italy)
MaRDI profile type: Publication
OpenAlex ID: W2617307175
DOI: 10.1007/B13229
description: scientific article; zbMATH DE number 2003510