RE: [abc] draft message

From: Eric Bodden <eric.bodden@mail.mcgill.ca>
Date: Tue Jan 31 2006 - 18:42:56 GMT

Sounds good so far. Maybe you should also include Volker Stolz and the
JASCO people (they also have an automaton based approach - however
without bindings).

Eric
Received on Tue Jan 31 18:43:56 2006

This message: [ Message body ]
Next message: Ondrej Lhotak: "Re: [abc] abc static analysis bug (fwd)"
Previous message: Eric Bodden: "RE: [abc] Joint work on specification formalisms?"
Maybe in reply to: Oege de Moor: "[abc] draft message"

Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

This archive was generated by hypermail 2.1.8 : Tue Jan 31 2006 - 22:30:09 GMT