Author: Jean-François Molderez
Publications
Publication period start: 2003
Number of co-authors: 6
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
Publications
Rifaut, André, Massonet, Philippe, Molderez, Jean-François, Ponsard, Christophe, Stadnik, Pierre, Lamsweerde, Axel van, Van, Hung Tran (2003): FAUST: Formal Analysis Using Specification Tools. In: 11th IEEE International Conference on Requirements Engineering RE 2003 8-12 September, 2003, Monterey Bay, CA, USA. pp. 350. https://csdl.computer.org/comp/proceedings/re/2003/1980/00/19800350abs.htm