,
Springer
J. Davies , J. Gibbons
Lecture Notes in Computer Science
Protocols for Secure Infrastructure and E-commerce
International Conference on Integrated Formal Methods
Specification and Analysis of Embedded Systems

Calamé, J., Ioustinova, N., van de Pol, J., & Sidorova, N. (2007). Bug Hunting with False Negatives. In J. Davies & J. Gibbons (Eds.), Proceedings of the 6th International Conference on Integrated Formal Methods (pp. 98–117). Springer.