DSpace at KOASAS
Browsing DSpace

Browse "CS-Conference Papers(학술회의논문)" by Author Preining, Norbert

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 1 of 1

1
On formal verification in imperative multivalued programming over continuous data types

Müller, Norbert; Park, Sewon; Preining, Norbert; Ziegler, Martin A, 13th International Conference on Computability and Complexity in Analysis, CCA 2016, pp.35 - 38, University of Algarve, 2016-06

Discover

rss_1.0 rss_2.0 atom_1.0