Jump to navigation
By thinking constantly about it…
G
Search form
Search
Research
Education
Innovation
Home
About Simula
Publications
People
Careers
Contact
Authors
O. Lysne
Title
E-Unification by Consistency
Status
Published
Publication Type
Proceedings, refereed
Year of Publication
1994
Conference Name
Proceedings 5th Nordic Workshop on Program Correctness
Pagination
127-136
Place Published
bo Akademi
Citation Key
ND.5.LYSNE.1994.d
Google Scholar
BibTeX