UNSW Faculty of Engineering PRINT VERSIONSITE MAP  
cse | School of Computer Science and Engineering (CRICOS Provider No. 00098G)
    #About CSE     #Undergraduate Study     #Postgraduate Study     #Timetables & Courses     #Research & Publications     #People & Work Units     #Help & Resources     #News & Events     #High School Portal
    •Staff & Students     •Student Office     •Help Desk     •Development Office     •CSG     •FIPRAS     •Facilities     •HOS Unit     •Stores
John Zic's Information Page

John Zic

Senior Visiting Fellow

To update this page please go to myCSE.
Office:
 External
[PHOTO: John Zic ]

 

 

 

 

 

 

 

 

 

 

 
Email:
 johnz AT cse.unsw.edu.au
Mail:
 School of Computer Science and Engineering
The University of New South Wales
Sydney 2052, Australia
Research Areas
  • Security Engineering
  • Formal Methods
  • Concurrent Real-Time and Distributed Systems
Publications
Predicate Transformer Refinement As A Basis For Interactive Component Design
W Qiu, J Zic, Proceedings of 4rd International Symposium on Software Technology 99 (ISFST' 99), .
Software Engineering Association (Japan), Tokyo, Japan, 1999, pp. 310 - 313

To update this page please go to myCSE
Top Of Page

###
Site maintained by webmistress@cse.unsw.edu.au
Please read the UNSW Copyright & Disclaimer Statement