Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework

by Gurvan Le Guernic, Benoit Combemale, José A. Galindo
Published 2017-01-01

Correct-by-construction model composition: Application to the Invasive Software Composition method

by Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale, Xavier Thirioux
Published 2014-04-01