Balser, Michael 1972-
VIAF ID: 47904145 ( Personal )
Permalink: http://viaf.org/viaf/47904145
Preferred Forms
- 100 1 _ ‡a Balser, Michael ‡d 1972-
- 100 1 _ ‡a Balser, Michael ‡d 1972-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Interactive verification of medical guidelines | |
Verifying Concurrent Systems with Symbolic Execution Temporal Reasoning is Symbolic Execution with a Little Induction |