Cited By
View all- Tran O'Leary JNandi CLee KPeek N(2021)Taxon: a Language for Formal Reasoning with Digital Fabrication MachinesThe 34th Annual ACM Symposium on User Interface Software and Technology10.1145/3472749.3474779(691-709)Online publication date: 10-Oct-2021