Changeset 1992 for Deliverables/D6.2/publist-notes.txt
- Timestamp:
- May 24, 2012, 4:26:25 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D6.2/publist-notes.txt
r1990 r1992 62 62 Community: abstract interpretation people 63 63 64 -- The "LUSTRE paper"... 64 -- The "LUSTRE paper"...? 65 66 -- Ayache's Frama-C work? 65 67 66 68 ==
Note: See TracChangeset
for help on using the changeset viewer.