• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Of all publications in the section: 2
Sort:
by name
by year
Book
Edited by: V. Zakharov, Н. В. Шилов. Yaroslavl: Ярославский государственный университет им. П.Г. Демидова, 2018.

Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceedings of the ninth workshop dedicated to formalisms for program semantics, formal models and verification, programming and specification languages, algebraic and logical aspects of programming.

Added: Oct 26, 2018
Book
Костелянец С. В., Денисова Т. С., Гавристова Т. М. и др. Ярославский государственный университет им. П.Г. Демидова, 2018.
Added: Sep 24, 2018