No Cover Image

Conference Paper/Proceeding/Abstract 465 views

Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper

Antonio Cerone Orcid Logo, Markus Roggenbach Orcid Logo, James Davenport, Casey Hopkins Orcid Logo, Marie Farrell, Magne Haveraaen, Faron Moller Orcid Logo, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov

Communications in Computer and Information Science, Pages: 1 - 26

Swansea University Authors: Markus Roggenbach Orcid Logo, Casey Hopkins Orcid Logo, Faron Moller Orcid Logo

Full text not available from this repository: check for access using links below.

Published in: Communications in Computer and Information Science
ISBN: 9783030713737 9783030713744
ISSN: 1865-0929 1865-0937
Published: Cham Springer International Publishing 2021
Online Access: Check full text

Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering
Start Page: 1
End Page: 26