Conference Paper/Proceeding/Abstract 598 views
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper
Antonio Cerone
,
Markus Roggenbach
,
James Davenport,
Casey Hopkins
,
Marie Farrell,
Magne Haveraaen,
Faron Moller
,
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 , Casey Hopkins
, Faron Moller
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1007/978-3-030-71374-4_1
Abstract
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper
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
|
URI: | https://cronfa.swan.ac.uk/Record/cronfa60461 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
College: |
Faculty of Science and Engineering |
---|---|
Start Page: |
1 |
End Page: |
26 |