Lars-Henrik Eriksson

Identifiers

Open LibraryOL7934184A

Books by Lars-Henrik Eriksson

Total count: 2

FME 2002 : Formal Methods - Getting IT RightInternational Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings

Springer London, Limited2003-01-01
Extensions of Logic ProgrammingSecond International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings

Springer2014-03-12