סיכום הרצאות במבוא לאימות תוכנה בשפות פורמאליות סמסטר שנת 1995

נגישות