User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 1 result.
    • Speech
    A Decade of Featured Transition Systems
    Cordy, Maxime[UCL] Devroey, Xavier Legay, Axel[UCL] Perrouin, Gilles Classen, Andreas Heymans, Patrick Schobbens, Pierre-Yves Raskin, Jean-François (2019) From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occas — Porto