Search
Lexile Level
AR Level
AR Level
Types for Proofs and Programs: International Workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers (2004) 9783540221647 by
Berardi, Stefano -
Springer,
-2004
Dewey: 511.30285
N/A
Formal Verification of Object-Oriented Software: International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (2012 9783642317613 by
Beckert, Bernhard -
Springer,
-2012
Dewey: 005.117
N/A
Integrated Formal Methods: 20th International Conference, Ifm 2025, Paris, France, November 19-21, 2025, Proceedings 9783032107930 by
Damiani, Ferruccio -
Springer,
-2025
N/A
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Sys 9783319073163 by
Bernardo, Marco -
Springer,
-2014
Dewey: 004.0151
N/A
Formal Methods for Components and Objects: 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (2013) 9783642358869 by
Beckert, Bernhard -
Springer,
-2013
Dewey: 005.131
N/A
Coordination Models and Languages: 23rd Ifip Wg 6.1 International Conference, Coordination 2021, Held as Part of the 16th International Federated Conf 9783030781415 by
Damiani, Ferruccio -
Springer,
-2021
N/A
Types for Proofs and Programs: International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (2009) 9783642024436 by
Berardi, Stefano -
Springer,
-2009
Dewey: 511.30285
N/A
Active Object Languages: Current Research Trends (2024) 9783031510595 by
de Boer, Frank -
Springer,
-2024
N/A