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