TY  - RPRT
TI  - A logical framework to model software development by multiple agents following a common specification
AU  - Georgios V. Pitsiladis
AU  - Petros S. Stefaneas
PY  - 2022
DO  - 10.1093/logcom/exad030
UR  - https://arxiv.org/abs/2211.01341
ID  - 2211.01341
ER  -