Milos Besta

From MaRDI portal
Person:816206

Available identifiers

zbMath Open besta.milosWikidataQ102277798 ScholiaQ102277798MaRDI QIDQ816206

List of research outcomes





PublicationDate of PublicationType
A complete mechanization of correctness of a string-preprocessing algorithm2006-02-20Paper

Research outcomes over time

This page was built for person: Milos Besta