A logical framework to model software development by multiple agents following a common specification

Pitsiladis, Georgios V.; Stefaneas, Petros S.; Πιτσιλαδής, Γεώργιος Β.; Στεφανέας, Πέτρος

dc.contributor.author	Pitsiladis, Georgios V.
dc.contributor.author	Stefaneas, Petros S.
dc.contributor.author	Πιτσιλαδής, Γεώργιος Β.
dc.contributor.author	Στεφανέας, Πέτρος
dc.date.accessioned	2025-11-12T14:49:23Z
dc.date.available	2025-11-12T14:49:23Z
dc.identifier.issn	1465-363X	el
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/62847
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.30543
dc.rights	Αναφορά Δημιουργού 3.0 Ελλάδα	*
dc.rights.uri	http://creativecommons.org/licenses/by/3.0/gr/	*
dc.subject	software engineering	en
dc.subject	philosophy of computer science	en
dc.title	A logical framework to model software development by multiple agents following a common specification	en
heal.type	journalArticle
heal.language	en
heal.access	free
heal.recordProvider	ntua	el
heal.publicationDate	2023-06-06
heal.bibliographicCitation	Georgios V Pitsiladis, Petros S Stefaneas, A logical framework to model software development by multiple agents following a common specification, Journal of Logic and Computation, Volume 34, Issue 5, July 2024, Pages 977–1000, https://doi.org/10.1093/logcom/exad030	en
heal.publisher	Oxford University Press	el
heal.journalName	Journal of Logic and Computation	el
heal.journalType	peer-reviewed
heal.fullTextAvailability	false
dc.identifier.doi	10.1093/logcom/exad030	el