Introduction by the guest editor
type: Item
instance of: scholarly article
title: Introduction by the guest editor
zbMATH Open document ID: 0991.00037
DOI: 10.1016/S0096-0551(01)00012-1
published in: Computer Languages
publication date: 2002-08-18T00:00:00Z
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1736400
zbMATH Keywords: Special issue
zbMATH Keywords: Eindhoven (Netherlands)
zbMATH Keywords: Symposium
zbMATH Keywords: Papers
zbMATH Keywords: VFM '99
zbMATH Keywords: Visual formal methods
MaRDI profile type: Publication
full work available at URL: s0096-0551(01)00012-1
OpenAlex ID: W70466309
Recommended article: Special issue: Formal methods. Selected papers based on the presentations at the 16th international symposium on formal methods (FM 2009), Eindhoven, The Netherlands, November 2--6, 2009.
Recommended article: Q625621
Recommended article: FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings
Recommended article: Q4936347
Recommended article: Special issue: Integrated formal methods (iFM09). Selected papers based on the presentations at the 7th international conference, Düsseldorf, Germany, February 16--19, 2009.
Recommended article: Formal methods for components and objects. 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4--6, 2009. Revised selected papers
Recommended article: FM '99. Formal methods. World congress on Formal methods in the development of computing systems. Toulouse, France, September 20--24, 1999. Proceedings. In 2 vols
Recommended article: Proceedings of the doctoral symposium affiliated with the fifth integrated formal methods conference (IFM 2005), Eindhoven, The Netherlands, NEWLINENovember 29, 2005
Recommended article: Q651944
Recommended article: Special issue: Formal methods for components and objects (FMCO). First international symposium, Leiden, The Netherlands, November 5--8, 2002. Selected papers.
description: scientific article; zbMATH DE number 1736400