Article VERIFICATION OF REACTIVE PROGRAMS BY DEPENDENT TYPE SYSTEMS WITH STRUCTURAL INDUCTION October 2012
Article X-RAY DIFFRACTION ANALYSIS OF OXIFLUORIDE NANOGLASS CERAMIC DOPED WITH YTTERBIUM AND ERBIUM October 2012
Article PRINCIPLES OF BRANCH SYSTEM CREATION FOR THE AUTOMATED DESIGN IN AVIATION INSTRUMENTATION October 2012
Article FINITE-STATE MACHINE IMPLEMENTATION OF EMBEDDED SYSTEM USER INTERFACE BASED ON ASPECT-ORIENTED DESCRIPTION October 2012