Resources

FM 2005: Formal Methods

Author : Fitzgerald 

Springer

Access online

FM 2006: Formal Methods

Author : Misra 

Springer

Access online

FM 2008: Formal Methods

Author : Cuellar 

Springer

Access online

FM 2009: Formal Methods

Author : Cavalcanti 

Springer

Access online

FM 2011: Formal Methods

Author : Butler 

Springer

Access online

FM 2012: Formal Methods

Author : Giannakopoulou 

Springer

Access online

Finely Harmonic Functions

Author : Fuglede 

Springer

Access online

FM 2014: Formal Methods

Author : Jones 

Springer

Access online

FM 2015: Formal Methods

Author : Bjørner 

Springer

Access online

FM 2016: Formal Methods

Author : Fitzgerald 

Springer

Access online