Search
Lexile Level
AR Level
AR Level
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II (2020) 9783030549961 by
Sekerinski, Emil -
Springer,
-2020
N/A
Formal Methods Teaching: Third International Workshop and Tutorial, Fmtea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, P 9783030324407 by
Dongol, Brijesh -
Springer,
-2019
Dewey: 005.131
N/A
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I (2020) 9783030549930 by
Sekerinski, Emil -
Springer,
-2020
N/A
Integrated Formal Methods: 16th International Conference, Ifm 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings (2020) 9783030634605 by
Dongol, Brijesh -
Springer,
-2020
N/A