Incremental Verification of Large ScaleWorkflows Based on Extended Correctness.

Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi

Browse the full ICSEA paper archive.