В рамках магистерского курса "Методы анализа и обеспечения качества ПО" на кафедре КСПТ прочитал лекцию "Дедуктивная верификация".

comments powered by Disqus
Copyright © 2013-2017 Vadim TSesko