Information × Registration Number 0111U007052, ( 0212U005319 0213U000603 0214U006981 0215U001862 0215U008366 ) R & D request Title Formal specification and reliable software development methods Head Нікітченко Микола Степанович, Доктор фізико-математичних наук Registration Date 05-07-2011 Organization Taras Shevchenko National University of Kyiv popup.description1 popup.nrat_date 2024-12-10 Close
Head: Нікітченко Микола Степанович. Formal specification and reliable software development methods.
Taras Shevchenko National University of Kyiv. № 0111U007052