This book constitutes the thoroughly refereed workshop proceedings of the 8th International Works...

This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on F...

In any serious engineering discipline, it would be unthinkable to construct a large system withou...

This book constitutes the refereed proceedings of the 18th InternationalConference on Formal Engi...

This book constitutes the refereed proceedings of the First International Symposium on Software F...

This book describes a specific solution, known as Agile-SOFL, for bridging agile and formal engin...

This book constitutes the thoroughly refereed workshop proceedings of the 9th International Works...

This book describes a specific solution, known as Agile-SOFL, for bridging agile and formal engin...

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International ...

This book constitutes the refereed proceedings of the 2nd International Symposium on Software Fau...

This book constitutes the refereed workshop proceedings of the 10th International Workshop on Str...

This book constitutes the thoroughly refereed post-workshop proceedingsof the 5th International W...