Milos Besta
Source-listed: Google
Record snapshot: Sep 3, 2026. Coverage and affiliations may be incomplete or historical.
Selected work
4- Gemini: A Family of Highly Capable Multimodal ModelsSaved credit: Contributor · 2023Explore people connected to this work →
- An Assertional Correctness Proof of a Self-Stabilizing l-Exclusion AlgorithmSaved credit: Contributor · 2006Explore people connected to this work →
- A Complete Mechanization of Correctness of a String-Preprocessing AlgorithmSaved credit: Contributor · 2005Explore people connected to this work →
- Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching AlgorithmSaved credit: Contributor · 2002Explore people connected to this work →