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

comments powered by Disqus
Copyright © 2013-2018 Vadim TSesko