Efficient Property Preservation Checking of Model Refinements.

Anton Wijs, Luc Engelen

Browse the full TACAS paper archive.