researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2001
Filter by Tag
Filter by Author
Filter by Top terms
OR
AND
NOT
1
2001
7-8
april
etaps
event
first
genova
international
italy
methods
relational
relmis
satellite
software
workshop
RelMiS (relmis)
Editions
Publications
Viewing Publication 1 - 1 from 1
2001
First International Workshop on Relational Methods in Software, RelMiS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 7-8, 2001
Wolfram Kahl
,
David Lorge Parnas
,
Gunther Schmidt 0001
, editors,
Volume 44 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2001.
[doi]
Sign in
or
sign up
to see more results.