J. G. Wiltink
According to our database1, J. G. Wiltink authored at least 4 papers between 1986 and 1989.
Legend:Book In proceedings Article PhD thesis Other
A Sharp Proof Rule for Procedures in wp Semantics.
Acta Inf., 1989
A Deficiency of Natural Deduction.
Inf. Process. Lett., 1987
Two Most Nondeterministic Programs.
Sci. Comput. Program., 1986
Equivalence of the Gries and Martin Proof Rules for Procedure Calls.
Acta Inf., 1986