Provably Correct Systems

Gelijkaardige items

• A ProCoS−WG Working Group Final Report: ESPRIT Working Group 8694
  door: Bowen, J, et al.
  Gepubliceerd in: (2015)
• Specification−oriented Semantics for Communicating Processes
  door: Olderog, E, et al.
  Gepubliceerd in: (1983)
• Specification−oriented Semantics for Communicating Processes
  door: Olderog, E, et al.
  Gepubliceerd in: (1986)
• A Provably Correct Compilation of Functional Languages into Scripting Languages
  door: P. Giannini, et al.
  Gepubliceerd in: (2017-06-01)
• PROVABLY CONSISTENT DISTRIBUTED DELAUNAY TRIANGULATION
  door: M. Brédif, et al.
  Gepubliceerd in: (2020-08-01)