Home / Authors / Maxim Likhachev

Books by Maxim Likhachev

All books by this author

1 book found ← Back to Search
ARA: Formal analysis ([Research paper] / Carnegie Mellon University. School of Computer Science)
🇺🇸 United States
ARA: Formal analysis ([Research paper] / Carnegie Mellon Un…
By: Maxim Likhachev
View Details