Hol-Z in the UniForM-workbench – a case study in tool integration for Z (0)

by C Lüth, E W Karlsen, S Westmeier Kolyang, B Wolff
Venue:In Bowen et al