Vol-1384⫷ Vol-1385 ⫸Vol-1386
urn:nbn:de:0074-1385-0


Vol-1385/paper4⫷Vol-1385/paper5⫸Vol-1385/paper6
Franz Lichtenberger

Making Formal Methods Popular: The Crux is Math Education!