Computer Aided Verification (Q5312943)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 2199327

In more languages

Language	Label	Description	Also known as
English	Computer Aided Verification	scientific article; zbMATH DE number 2199327

Statements

scholarly article

Computer Aided Verification (English)

Kedar S. Namjoshi

Lecture Notes in Computer Science

publication date

25 August 2005

MaRDI profile type

MaRDI publication profile

full work available at URL

https://doi.org/10.1007/b98490

Identifiers

zbMATH Open document ID

Mathematics Subject Classification ID

zbMATH DE Number

Sitelinks

Mathematics(1 entry)

mardi Publication:5312943

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5312943&oldid=32842836"