J. G. Wiltink

1989
4		A. Bijlsma, P. A. Matthews, J. G. Wiltink: A Sharp Proof Rule for Procedures in wp Semantics. Acta Inf. 26(5): 409-419 (1989)
1987
3		J. G. Wiltink: A Deficiency of Natural Deduction. Inf. Process. Lett. 25(4): 233-234 (1987)
1986
2		A. Bijlsma, J. G. Wiltink, P. A. Matthews: Equivalence of the Gries and Martin Proof Rules for Procedure Calls. Acta Inf. 23(4): 357-360 (1986)
1		J. G. Wiltink: Two Most Nondeterministic Programs. Sci. Comput. Program. 6(1): 89-94 (1986)

Coauthor Index

1	A. Bijlsma	[2] [4]
2	P. A. Matthews	[2] [4]