Conference Paper/Proceeding/Abstract 696 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
,
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 |