Grid List
These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Net...
This book constitutes the thoroughly refereed papers of the workshops held at the 10th Internatio...