Results

eNauka >  Results >  DOKAZIVANJE KOREKTNOSTI PROGRAMA PRIMENOM PRAVILA PROGRAMSKE LOGIKE I PRIDRUŽENIH FORMULA PREDIKATSKE LOGIKE
Title: DOKAZIVANJE KOREKTNOSTI PROGRAMA PRIMENOM PRAVILA PROGRAMSKE LOGIKE I PRIDRUŽENIH FORMULA PREDIKATSKE LOGIKE
Authors: Markoski Branko; Mihajlović J; Šetrajčić Jovan; Vasiljević Petar
Issue Date: 2008
Publication: Proceeding of ICDQM'08, ICDQM'08, 2008
Type: Conference Paper
URI: https://enauka.gov.rs/handle/123456789/592315
https://cris.uns.ac.rs/en/scientific-results/proceedings-publication/28745
https://www.cris.uns.ac.rs/record.jsf?recordId=26557&source=eNauka&language=en
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.