Simon Dobson

Simon Dobson

Home
About me
Research
Software
Writing
Contact

Posts about formal methods

Subscribe to posts tagged “formal methods”

Monday 31 January, 2011

Call for papers: Formal methods for Pervasive Systems

Simon Dobson

Aut tace aut loquere meliora silentio

Built with free and open-source software. Powered by Nikola using a theme based on Libretto.

All content Copyright © 2010–2025 Simon Dobson and licensed under CC-BY-NC-SA-4.0 unless otherwise noted.