Azmy, Noran Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Azmy, N., Merz, S., & Weidenbach, C. (2016). A Rigorous Correctness Proof for Pastry. In M. Butler, K.-D. Schewe, A. Mashkoor, & M. Biro (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z (pp. 86-101). Berlin: Springer. doi:10.1007/978-3-319-33600-8_5.