Rewriting logic is a versatile and expressive framework that unifies the specification of concurrent systems with formal reasoning about their behaviour. It allows researchers and practitioners to ...
At UT Computer Science, undergraduate students receive a rigorous educational experience, with options to pursue more than 50 courses that span the full spectrum of topics in modern computer science.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results