Formal methods: teaching and practicing computer science at the university level

View/open
Metadata
Show full item record
Authors
Boute, R.
Conference
1st International Workshop on Formal Methods Education and Training
Title
Formal methods: teaching and practicing computer science at the university level
Publication type
Proceedings paper
Embargo date
9999-12-31
Collections