Une méthode basée sur la stipulation de qualités pour choisir parmi divers réalisations de modules

Translated title of the contribution: A property-based method for selecting among multiple implementations of modules

Christian S. Collberg, Magnus G. Krampell

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Fingerprint

Dive into the research topics of 'A property-based method for selecting among multiple implementations of modules'. Together they form a unique fingerprint.

Mathematics