152 followers
Formula 2.0: a Language for Formal Specifications (2013) : Ethan K. Jackson and Wolfram Schulte DOI: https://t.co/PQHJNBQAuD #FORMULA_2 #behavioural_types #best_practices #formal_model #formal_specification #logic_programming #ope #my_bibtex