Petros Papapanagiotou

Identifiers

No identifiers captured yet.

Papers (3)

1. A Pragmatic, Scalable Approach to Correct-by-construction Process Composition Using Classical Linear Logic Inference cs.PL · 2018 · author #1
2. The Boyer-Moore Waterfall Model Revisited cs.LO · 2018 · author #1
3. Correct by Construction Resource-based Process Composition cs.LO · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Jacques Fleuriot 3 shared papers