Publication View

A two-level approach towards lean proof-checking (1996)

Publication details

Publisher	Springer
Repository	Repository Radboud Universiteit Nijmegen (Netherlands)
Type	Part of book or chapter of book
Language	Englisch