Extracting EFSMs of Web Applications for Formal Requirements Specification.

Andrey Zakonov, Anatoly Shalyto

Browse the full SAFECOMP paper archive.