The ProC/B-Approach from informal descriptions to formal models.

Peter Buchholz, Falko Bause, Carsten Tepper

Browse the full ISoLA paper archive.