|
Search the dblp DataBase
Gudmund Grov:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Gudmund Grov
Verifying the correctness of hume programs: an approach combining deductive and algorithmic reasoning. [Citation Graph (0, 0)][DBLP] ASE, 2005, pp:444-447 [Conf]
- Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland
Low-Level Programming in Hume: An Exploration of the HW-Hume Level. [Citation Graph (0, 0)][DBLP] IFL, 2006, pp:91-107 [Conf]
Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. [Citation Graph (, )][DBLP]
Formal verification of concurrent scheduling strategies using TLA. [Citation Graph (, )][DBLP]
Preserving coordination properties when transforming concurrent system components. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|