VSL 2014: VIENNA SUMMER OF LOGIC 2014

B
Beillahi, Sidi Mohamed	Towards the Application of Formal Methods in Process Engineering
Buchs, Didier	Introducing Formal Verification with Lego
C
Colange, Maximilien	Introducing Formal Verification with Lego
H
Hostettler, Steve	Introducing Formal Verification with Lego
K
Kirchner, Florent	Chekofv: Crowd-sourced Formal Verification
Kotek, Tomer	Explaining the decompositionality of MSO using applications to combinatorics
L
Lawrence, David	Introducing Formal Verification with Lego
Linard, Alban	Introducing Formal Verification with Lego
Logas, Heather	Chekofv: Crowd-sourced Formal Verification
López Bóbeda, Edmundo	Introducing Formal Verification with Lego
M
Marechal, Alexis	Introducing Formal Verification with Lego
Murray, John	Chekofv: Crowd-sourced Formal Verification
N
Nepejvoda, Nikolay	Algebraic description of restricted programming and elements of its logics
R
Racordon, Dimitri	Introducing Formal Verification with Lego
Risoldi, Matteo	Introducing Formal Verification with Lego
S
Schäf, Martin	Chekofv: Crowd-sourced Formal Verification
Sedlmajer, Nicolas	Introducing Formal Verification with Lego
Shah, Pratima K.	An Example Demonstrating the Requirement of Fully Formal Verification Method
Shilov, Nikolay	Fun With Formal Methods 2014: Opening Remarks Using Esoteric Language for Teaching Formal Semantics
Siddique, Umair	Towards the Application of Formal Methods in Process Engineering
T
Tahar, Sofiene	Towards the Application of Formal Methods in Process Engineering
W
Whitehead, Jim	Chekofv: Crowd-sourced Formal Verification

Disclaimer | Powered by EasyChair Smart Program