T. Weller

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1976

1 Erich J. Neuhold, T. Weller: Specification and Proving of Command Programs. Acta Inf. 6: 15-40 (1976)

	1976
1		Erich J. Neuhold, T. Weller: Specification and Proving of Command Programs. Acta Inf. 6: 15-40 (1976)

Coauthor Index