Skip to main content
Simon Dobson
  • What's happening
  • About
    Welcome Biography Contact
  • Academic
    Current interests Current group Publications Publications by year Bibliometrics
  • Writing
    Essays Epidemic modelling -- Some notes, maths, and code Complex networks, complex processes Book reviews Articles by topic Article by date
  • Current projects
    epyc epydemic simplicial Photography
  • Older projects
    Citizen sensing with Arduino (2013) Arduino SleepySketch (2013--2014) Sapere (2010--2013) Attila (2010--2013) Vanilla (1997-1999)

    Posts about formal methods

    RSS feed

    • 2011-01-31 11:34Call for papers: Formal methods for Pervasive Systems
    Creative Commons License CC-BY-NC-SA-4.0