Special issue: Automated specification and verification of web systems : [... 9th ... International Workshop on ... WWV, which took place in Firenze, Italy, on June 6, 2013 ... 3...

Veröffentlicht 2015

Cameleer: A Deductive Verification Tool for OCaml

von Pereira, Mário
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

Behavioural types : from theory to tools

Veröffentlicht 2017

Java Typestate Checker

von Mota, João
Veröffentlicht in DisCoTec (16. : 2021 : Online) Coordination Models and Languages (2021)

Formal techniques for distributed objects, components, and systems : 43rd IFIP WG 6.1 international conference, FORTE 2023 : held as part of the 18th international federated conf...

Veröffentlicht 2023

Special section on foundations of coordination languages and software (FOCLASA 2012)

Veröffentlicht 2016

Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language

von Bravetti, Mario
Veröffentlicht in APLAS (18. : 2020 : Online) Programming languages and systems (2020)