(1 - 20 von 24
)
PSSV 2018: Program Semantics, Specification, & VerificationUniversiteit van Amsterdam
resources.illc.uva.nl
— ... Egor Kuzmin (Yaroslavl State University, Russia, to be confirmed), * Alexei Lisitsa (University of Liverpool, UK, to be confirmed), * Irina — ... Egor Kuzmin (Yaroslavl State University, Russia, to be confirmed), * Alexei Lisitsa (University of Liverpool, UK, to be confirmed), * Irina ...
sortiert nach Relevanz / Datum