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

    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