Statistics for Relations as executable specifications: taming partiality and non-determinism using invariants

Total visits

	views
Relations as executable specifications: taming partiality and non-determinism using invariants	0