EFM 2019

1st International Workshop on

Empirical Formal Methods

hosted by FM'19, October 7-11, Porto, PT