Formal Methods in Software Practice (FMSP)

[–] 

Venue statistics

records by year

document access 

frequent authors

FMSP 2000: Portland, Oregon, USA

FMSP 1998: Clearwater Beach, Florida, USA