A Formal Verification Strategy for Crash Recovery in Web-Database Applications.

Muhammad Younas, Barry Eaglestone

Browse the full WISE paper archive.