Connecting informal and formal mathematics

Additional Metadata
Promotor	A.M. Cohen (Arjeh) , J.W. Klop (Jan Willem)
Degree Grantor	Technische Universiteit Eindhoven
ISBN	978-90-386-0611-8
Persistent URL	doi.org/10.6100/IR510951
Organisation	Specification and Analysis of Embedded Systems
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Elbers, H. (1998, May 28). Connecting informal and formal mathematics. Retrieved from http://dx.doi.org/10.6100/IR510951

Publication