A logical framework to model software development by multiple agents following a common specification (Q6636670)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A logical framework to model software development by multiple agents following a common specification |
scientific article; zbMATH DE number 7942581
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A logical framework to model software development by multiple agents following a common specification |
scientific article; zbMATH DE number 7942581 |
Statements
A logical framework to model software development by multiple agents following a common specification (English)
0 references
12 November 2024
0 references
0.6869460344314575
0 references
0.6749251484870911
0 references
0.6655009388923645
0 references
