Publications

A Survey of Formal Methods Courses in European Higher Education: The Fme Subgroup on Education

AuthID
P-00F-TFW

Author(s)

Oliveira, JN

Document Type

Article

Year published

2004

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 3294, Pages: 235-248

Indexing

Scopus^®

Crossref^®9

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-540-30472-2_16

SCOPUS: 2-s2.0-35048903091

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

A Survey of Formal Methods Courses in European Higher Education: The Fme Subgroup on Education

Useful Links

Get Help

Federated Authentication (Click on the image)

A Survey of Formal Methods Courses in European Higher Education: The Fme Subgroup on Education

Useful Links

Get Help