Edinburgh Research Archive: Browsing ERA

Edinburgh Research Archive

Browsing by Author Aspinall, David

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 3 of 3

Issue Date	Title	Author(s)	Supervisor(s)
2000	Isamode: Theorem Proving with Isabelle inside Emacs	Aspinall, David	-
2009	Program Transformations in Weak Memory Models	Sevcik, Jaroslav	Aspinall, David
Jun-2006	Substructural Simple Type Theories for Separation and In-place Update	Atkey, Robert	Aspinall, David; Stark, Ian

Showing results 1 to 3 of 3