Reasoning About Interactive Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Enforcing behavior with contracts
Programming methodology
Guarded Quantification in Least Fixed Point Logic
Journal of Logic, Language and Information
Fairness, Resources, and Separation
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |