CASE STUDIES IN SPECIFICATION: FOUR GAMES
Alejandro Teruel
Abstract
This paper is an exercise in specification style. It strives to present formal specifications of some well known games in a concise and elegant manner using for this purpose simple mathematical tools.
Institution
OUCL
Month
July
Number
PRG30
Pages
67
Year
1982