No Cover Image

Book 296 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.

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

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