WG211/M15Kobayashi

From WG 2.11
Jump to: navigation, search

Higher-order model checking and program verification by Naoki Kobayashi

Retrieved from "https://wiki.hh.se/wg211/index.php?title=WG211/M15Kobayashi&oldid=1269"