International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches (FormSERA)

Venue statistics

records by year

document access 

    frequent authors

      1st FormSERA@ICSE 2012: Zurich, Switzerland

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics