Sep. 16th, 2009

purplecat: Hand Drawn picture of a Toy Cat (acadenia)
"On behalf of the FMIS 2009 Program Committee we are pleased to inform you that the following submission has been accepted for publication at the FMIS 2009 workshop."

FMIS stands for Formal Methods for Interactive Systems.

Would like to be able to claim some credit for this paper, but to be honest, all I did was go to a few project meetings and argue with people...

Profile

purplecat: Hand Drawn picture of a Toy Cat (Default)
purplecat

April 2019

S M T W T F S
 1 234 5 6
7 8 91011 12 13
14 15 16 17 18 19 20
21222324252627
282930    

Tags

Style Credit

Expand Cut Tags

No cut tags