Rezultati

eNauka >  Results >  CONVINCE OF PROGRAM CORRECTNESS USING A RULES OF PROGRAM LOGIC AND ASSOCIATED FORMULAS OF PROGRAM LOGIC
Title: CONVINCE OF PROGRAM CORRECTNESS USING A RULES OF PROGRAM LOGIC AND ASSOCIATED FORMULAS OF PROGRAM LOGIC
Authors: Markoski Branko; Mihajlović J; Šetrajčić Jovan; Vasiljević Petar
Issue Date: 2008
Publication: Proceeding of 11th International Conference DependabIlićty and Quality Management (ICDQM)'08, 11th International Conference DependabIlićty and Quality Management (ICDQM)'08, 2008, No 11
Type: Conference Paper
Collation: str. 760-764
URI: https://www.cris.uns.ac.rs/record.jsf?recordId=26451&source=eNauka&language=en
https://enauka.gov.rs/handle/123456789/580272
M-category: 
Mp. category will be shown later

Find the DOI

Google ScholarTM

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.