Formal Verification of Requirements using SPIN: A Case Study on Web Services.

Raman Kazhamiakin, Marco Pistore, Marco Roveri

Browse the full SEFM paper archive.