The PubPeer database contains all articles.
To leave the first comment on a specific article, paste a unique identifier such as a DOI, PubMed ID, or arXiv ID into the search bar.
Fathi Taibi, Jacob K. Daniel, Fouad Mohammed Abbou
Search publications for: doi:10.1145/1281421.1281433 1 result
On checking the consistency of Object-Z classes
Fathi Taibi, Jacob K. Daniel, Fouad Mohammed Abbou