Home › Authors › FORTE 2008 (2008 Tokyo, Japan) 👤 FORTE 2008 (2008 Tokyo, Japan) 1 book Books by FORTE 2008 (2008 Tokyo, Japan) Formal techniques for networked and distributed systems--FORTE 2008 2008