Author: Pierre Stadnik
Publication Overview
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