specification tool
What are some good survey papers on relation extraction?
last update: March 8, 2017
FAUST (Formal Analysis Using Specification Tools) last update: January 1, 2018