Formal Modeling of RESTful Systems Using Finite-State Machines.

Ivan Zuzak, Ivan Budiselic, Goran Delac

Browse the full ICWE paper archive.