Book 462 views
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
Emil Sekerinski,
Nelma Moreira,
José N. Oliveira,
Daniel Ratiu,
Riccardo Guidotti,
Marie Farrell,
Matt Luckcuck,
Diego Marmsoler,
José Campos,
Troy Astarte,
Laure Gonnord,
Antonio Cerone,
Luis Couto,
Brijesh Dongol,
Martin Kutrib,
Pedro Monteiro,
David Delmas
Lecture Notes in Computer Science, Volume: 12233
Swansea University Author: Troy Astarte
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1007/978-3-030-54997-8
Abstract
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
| Published in: | Lecture Notes in Computer Science |
|---|---|
| ISBN: | 9783030549961 9783030549978 |
| ISSN: | 0302-9743 1611-3349 |
| Published: |
Cham
Springer International Publishing
2020
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa59377 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Keywords: |
computer hardware; computer networks; computer programming; artificial intelligence; computer science; computer systems; embedded systems; engineering; formal languages; formal logic; formal methods; internet; linguistics; mathematics; object-oriented programming; signal processing; software architecture; software design; software engineering; theoretical computer science |
|---|---|
| College: |
Faculty of Science and Engineering |