hmijail
...joined 10 years ago, and has 39 karma
submissions / comments / favourites
From system software to formal verification and still going
...joined 10 years ago, and has 39 karma
submissions / comments / favourites
From system software to formal verification and still going