John Lowe

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1999

1 Helen Lowe, John Lowe: The Role of Proof in a Formal Specification of the Speedway Rulebook. IWFM 1999

	1999
1		Helen Lowe, John Lowe: The Role of Proof in a Formal Specification of the Speedway Rulebook. IWFM 1999

Coauthor Index