Andrei P. Nemytykh
AuthID: R-00G-ZT1
1
TITLE: Automated verification of programs and Web systems
AUTHORS: Maurice H ter Beek; Alexei Lisitsa; Andrei P Nemytykh; Antonio Ravara;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5
AUTHORS: Maurice H ter Beek; Alexei Lisitsa; Andrei P Nemytykh; Antonio Ravara;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5
INDEXED IN: 
WOS 
CrossRef
WOS CrossRef