On polynomial pairs of integers

由 Ezerman, Martianus Frederic, Meyer, Bertrand, Solé, Patrick
出版 2015

An interference-free programming model for network objects

由 SCHILL, Mischael, POSKITT, Christopher M., MEYER, Bertrand
出版 2016

Applying search in an automatic contract-based testing tool

由 KOLESNICHENKO, Alexey, POSKITT, Christopher M., MEYER, Bertrand
出版 2013

Contract-based general-purpose GPU programming

由 KOLESNICHENKO, Alexey, POSKITT, Christopher M., NANZ, Sebastian, MEYER, Bertrand
出版 2015

Balancing Agility and Formalism in Software Engineering

出版 2017