Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract) | IEEE Conference Publication | IEEE Xplore