Journal of Computing and Information Technology

Botinčan, Matko

• Vol 13, No 4 (2005) - Regular Papers
  AsmL Specification and Verification of Lamport’s Bakery Algorithm
  Abstract  PDF
• Vol 12, No 2 (2004): Special Issue on ITI 2004 - Information Technology Interfaces - Special Issue on ITI 2004 - Information Technology Interfaces
  A Generic C++ Library for Solving Path Problems
  Abstract  PDF