Towards a practitioners' approach to Abadi and Lamport's method
Crossref DOI link: https://doi.org/10.1007/BF01211632
Published Print: 1995-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Engelhardt, Kai
de Roever, Willem -Paul
Text and Data Mining valid from 1995-09-01