![](/img/cover-not-exists.png)
[ACM Press the 2015 ACM Conference - Vilnius, Lithuania (2015.07.04-2015.07.08)] Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education - ITiCSE '15 - Introducing Formal Methods via Program Derivation
Chaudhari, Dipak L., Damani, OmYear:
2015
Language:
english
DOI:
10.1145/2729094.2742628
File:
PDF, 1.01 MB
english, 2015