Protocure: supporting the development of medical protocols through formal methods (Q28292559)
Jump to navigation
Jump to search
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Protocure: supporting the development of medical protocols through formal methods |
scientific article |
Statements
Protocure: supporting the development of medical protocols through formal methods (English)
Silvia Miksch
Joyce van Croonenborg
Kitty Rosenbrand
Michael Balser
Oscar Coltell
Christoph Duelli
Albert Jovell
Peter Lucas
Mar Marcos
Wolfgang Reif