Results

eNauka >  Results >  Symbolical execution of Pascal programs in teheorem prover of Baselog system
Title: Symbolical execution of Pascal programs in teheorem prover of Baselog system
Authors: Hotomski, Petar ; Berković, Ivana  
Issue Date: 2002
Publication: Seminar primenjene matematike - PRIM, 15, Zlatibor, Srbija, 2002, 26. maj - 31. maj
Publisher: PRIM
Type: Conference Paper
Collation: str. 16-17
URI: https://enauka.gov.rs/handle/123456789/963477
Metadata source: (Preuzeto iz KNR-a) Berković, Ivana
Availability note: Пуни текст је доступан само у штампаној форми
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.