Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms.

Roland Kuhn, Alan Darmasaputra

Browse the full ISSTA paper archive.