Hoare logic for GOLOG programs
ABI
Аннотация
grantor: University of Toronto
Темы
Цитирования и источники
Цитирований: 0Использованных источников: 16
Показатели — AkademScholar · Скоро
Продукты
Для разработчиков
AkademBaseскороОткрытый API экосистемыgrantor: University of Toronto