Browse by all authors Browse By Author Name - Luke+Wildman

Browse Results (2 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Geoff Watson and Luke Wildman (2008) Common Criteria Compliance for the Trusted Filter at EAL7 - Formal Arguments. Systems and Software Engineering Technical Reports SSE-2008-01, School of Information Technology and Electrical Engineering, The University of Queensland. 329 521
Luke Wildman (2008). Views in Z PhD Thesis, The School of Information Technology and Electrical Engineering, The University of Queensland. 114 11