Logic in Computer Science: Modelling and Reasoning about Systems

Authors:
Mark Ryan;Michael Huth
Affiliations:
-;-
Venue:
Logic in Computer Science: Modelling and Reasoning about Systems
Year:
2000

Citing 0
Cited 2

A theory of classes from the theoretical foundations of LePUS3

ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Diagnosys: automatic generation of a debugging interface to the Linux kernel

Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering

Quantified Score

Hi-index	0.01

Visualization

Abstract

From the Publisher:Provides a simple and clear presentation, covering propositional and predicate logic and some specialized logics used for reasoning about the correctness of computer systems.