Sumit Gulwani gründete und leitet derzeit das PROSE-Forschungs- und Entwicklungsteam bei Microsoft Research, das Techniken für die Programmsynthese entwickelt und diese in verschiedene ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results