Pierre Stadnik

Publication Activity (10 Years)

Years Active: 2003-2003
Publications (10 Years): 0

Publications

André Rifaut, Philippe Massonet, Jean-François Molderez, Christophe Ponsard, Pierre Stadnik, Axel van Lamsweerde, Hung Tran Van
FAUST: Formal Analysis Using Specification Tools. RE (2003)