@ARTICLE{DelzannoGM1999,
AUTHOR = {Delzanno, Giorgio and Galmiche, Didier and Martelli, Maurizio},
TITLE = {A specification logic for concurrent object-oriented programming},
JOURNAL = {Mathematical Structures in Computer Science},
PUBLISHER = {Cambridge University Press},
YEAR = {1999},
NUMBER = {3},
VOLUME = {9},
PAGES = {253--286},
ADDRESS = {Cambridge, UK},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Giorgio Delzanno | Created
04/21/1999 12:08:21 PM |
Revisions
6.
5.
4.
3.
2. | Editor(s)
Christine Kiesel
Christine Kiesel
Anja Becker
Christine Kiesel
Christine Kiesel | Edit Dates
30.08.2001 10:04:23
29.08.2001 10:32:28
31.03.2000 11:25:22
31/03/2000 11:14:08
22/04/99 12:16:53 |