Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE 2021.
Published Aug 06, 2021 by Rutger van Beusekom, Bert de Jonge, Paul Hoogendijk, Jan Nieuwenhuizen
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017.
Published Sept 18, 2017 by R. van Beusekom, J.F. Groote, P. Hoogendijk, R. Howe, W. Wesselink, R. Wieringa, T.A.C. Willemse.