Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bowen, Jonathan P., Habrias, Henri
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	General Literature Computers and Society Logic in Computer Science Software Engineering 01A70 (Primary) 01A60, 01A61, 68N30, 68Q60 (Secondary) K.2; D.2.1; D.2.4
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online

https://arxiv.org/abs/2604.07353