@article{Jasim2020,
author = "Omar Ahmad Jasim and Sandor Veres",
title = "{Formal proof of the small-gain theorem by interactive theorem proving}",
year = "2020",
month = "2",
url = "https://figshare.shef.ac.uk/articles/software/Formal_proof_of_the_small-gain_theorem_by_interactive_theorem_proving/11791449",
doi = "10.15131/shef.data.11791449"
}