Understanding Formal Methods

Bibliographic Data

ID19940719
AuthorsJean Francois Monin (corresponding author), Mike Hinchey (0000-0001-5110-561X)
Year2003
Pages1408
Publication date2003-01-01
Open AccessYes
TypeBOOK
VenueUnderstanding Formal Methods (SOURCE_BOOK)
PublisherSpringer London (PUBLISHER • GB)
DOI10.1007/978-1-4471-0043-0
OpenAlexW1486448317
ISBN9781447100430
Open LibraryOL51659993M
LanguageEN
Citations received3

Tools

Open DOISci-HubLibgen