Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Lars-Henrik Eriksson | lit.salon

Author

Lars-Henrik Eriksson

3 works

2002–2014 across 3 dated works

No biography is available yet.

Start with

FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings (Lecture Notes in Computer Science)2002
FME 2002 : Formal Methods - Getting IT Right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings2003
With Peter A. Lindsay
Extensions of Logic Programming Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings2014
With Lars Hallnäs, Peter Schroeder-Heister

Books

3 works

Featured (3)Featured (3)All (3)All (3)

Search booksSort books

FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings (Lecture Notes in Computer Science)2002
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Extensions of Logic Programming Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings2014
With Lars Hallnäs, Peter Schroeder-Heister
1 edition
shelves
0
reviews
0
lists
0
quotes
0
FME 2002 : Formal Methods - Getting IT Right International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings2003
With Peter A. Lindsay
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Lars-Henrik Eriksson.

The conversation is still open.

There is no public salon activity to show for Lars-Henrik Eriksson yet.