Results

eNauka >  Results >  Using Small-Step Refinement For Algorithm - Verification In Computer Science Education
Title: Using Small-Step Refinement For Algorithm - Verification In Computer Science Education
Authors: Petrović, Danijela  
Issue Date: 2014
Publication: The 3rd International Workshop on Theorem proving components in Educational Software : Proceedings
Publisher: CEUR Workshop proceeding, Portugalija
Type: Conference Paper
Collation: br. 1186 str. paper no. 18 : 1-5
URI: https://enauka.gov.rs/handle/123456789/175684
URL: http://ceur-ws.org/Vol-1186/
Metadata source: Migrirano iz RIS podataka
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.