[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Marcello F Frias & Carlos G Lopez Pombo & Gabriel A Baum & Nazareno M Aguirre & Thomas S E Maibaum
- Reasoning about static and dynamic properties in Alloy: A Purely Relational Approach
- ACM TOSEM Trans Software Eng & Methodology V14n4(Oct 2005)pp478-526
- =THEORY EQUATION RELATIONAL LOGIC HOARE TRIPLES FORK ALGEBRA FRL
is based on a set that has a pairing operation (p) that is used to define a fork operation on relations:
- fork::infix=map[R,S] rel[a,d](for some b,c (d=p(b,c) and a R b and a S c)).
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]