Modeling and verification of Web applications using formal technique methods

Atsushi Togashi, Yuh Kitano, Satoru Izumi, Kaoru Takahashi, Kei Homma

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'Modeling and verification of Web applications using formal technique methods'. Together they form a unique fingerprint.

Engineering & Materials Science