Content deleted Content added
Disambiguate with Solidity. Solidity language uses .sol suffix but it's a different language. Search engine leads to this page when looking for ".sol language". |
m Open access bot: doi added to citation with #oabot. |
||
Line 9:
==References==
* {{cite journal | author=Bharadwaj, Ramesh | title= SOL: A Verifiable Synchronous Language for Reactive Systems | journal=[[Electronic Notes in Theoretical Computer Science]] | year=2002 | volume=65 | issue=5 | url=http://dblp.uni-trier.de/rec/bibtex/journals/entcs/Bharadwaj02 | doi=10.1016/S1571-0661(05)82565-4 | pages=140 | doi-access=free }}
[[Category:Synchronous programming languages]]
| |||