Formal Methods Guest Editorial

: This introductory paper gives some historical background to the emergence of formal methods, overviews what subsequently happened, and surveys prospects for the future. Brief

• Type: Journal
• Year: 2007
• Where: JUCS
• Authors: Richard Banach
• Keywords: Formal Methods, Historical Background, Introductory Paper, JUCS 2007