José N. Oliveira

ספרים שבהם José N. Oliveira מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Formal Methods. FM 2019 International WorkshopsEmil Sekerinski

Formal Methods. FM 2019 International Workshops

Emil Sekerinski · 2020

Formal Methods – The Next 30 YearsMaurice H. ter Beek

Formal Methods – The Next 30 Years

Maurice H. ter Beek · 2019