A Computational proof of soundness

S.M.M. Joosten, Jan Kuper

Research output: Contribution to journal › Article › Professional

Keywords

@article{587ea2e5eb9b499bb8a2c0ab6b325a67,

title = "A Computational proof of soundness",

keywords = "METIS-121635",

author = "S.M.M. Joosten and Jan Kuper",

year = "1992",

language = "Undefined",

volume = "92",

pages = "--",

journal = "Memoranda informatica",

issn = "0924-3755",

publisher = "University of Twente",

number = "09",

}