Nikolay Shilov Free People Check 

( I'm Nikolay Shilov)

Loading...

Images of Nikolay Shilov

(0 from 0 )

News

(1 - 4 from 10
)

BIS Programme - BIS 2013

archive.kie.ue.poznan.pl
... Model for Value-oriented KMS Decision Support. Alexander Smirnov, Nikolay Shilov: Role-Driven BITA: Approach and Industrial Case Study.

FWFM : Fun With Formal Methods

www.wikicfp.com
FWFM : Fun With Formal Methods

FWFM : 2nd workshop on Fun With Formal Methods

www.wikicfp.com
FWFM : 2nd workshop on Fun With Formal Methods

LICS - Index of Papers and Short Presentations by Authors : S

www.lfcs.inf.ed.ac.uk
Short Presentation: Hyunjun Eo Seunghwan O Nikolay Shilov Finite game semantics for Propositional Program Logics (LICS 2005) More Information.
Save as document
+1