Pantazis Deligiannis et al.: Asynchronous programming, analysis and testing with state machines. (2015)conf/pldi/DeligiannisDKLT1510.1145/2737924.273799610.1145/2813885.2737996Asynchronous programming, analysis and testing with state machines.5Pantazis Deligiannis1Alastair F. Donaldson2Jeroen Ketema3Akash Lal4Paul Thomson5154-164PLDIPLDI20152015provenance information for RDF data of dblp record 'conf/pldi/DeligiannisDKLT15'2023-03-21T21:00:05+0100