Vol-4075⫷ Vol-4076 ⫸Vol-4077
urn:nbn:de:0074-4076-0


Vol-4076/short8⫷Vol-4076/paper9⫸Vol-4076/short10
Antti ValmariVeikko Halttunen

How Important are Formal Methods and Formal Logic for Software Engineering Education?