Towards a Formalization of Budgets

Authors	J.A. Bergstra S. Nolst Trenit'e M.B. van der Zwaag
Publication date	2007
Series	PRG technical report, PRG0712
Publisher	Amsterdam: Informatics Institute
Organisations	Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type	Report
Note	SSER12
Published at	http:///www.science.uva.nl/research/prog/publications.html
Permalink to this page

Back

UvA-DARE