FORMS: A Seminar on
Formal
Methods
and Semantics
Future Meetings
- Date:
Jun 15, 2005.
- Time 16:00, Place: Sala Riunioni.
- Francesco Ranzato ,
Univ. of Padua.
Title: An abstract interpretation-based refinement algorithm for strong preservation [Abstract]