EFM 2019

1st International Workshop on

Empirical Formal Methods

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