Farmer, William & Hu, Qian. (2018). FCL: A Formal Language for Writing Contracts. Advances in Intelligent Systems and Computing. 190-208. 10.1007/978-3-319-56157-8_9. https://t.co/nDWMulI7oV https://t.co/wE4Cv3tJaN
Farmer, William & Hu, Qian. (2018). FCL: A Formal Language for Writing Contracts. Advances in Intelligent Systems and Computing. 190-208. 10.1007/978-3-319-56157-8_9. https://t.co/nDWMulI7oV https://t.co/wE4Cv3tJaN
— Stephane Cottin (@cottinstef) June 16, 2018
from Twitter https://twitter.com/cottinstef
June 16, 2018 at 05:36PM
via IFTTT