FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
12 Years and Counting: Samples from My Undergraduate Research Projec

Author: Kuldeep S. Meel

Paper Information

Title:12 Years and Counting: Samples from My Undergraduate Research Projec
Authors:Kuldeep S. Meel
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:Uniform sampling, Undergraduate research project, Vardifest
Pages:1
Paper: