Thao DangBooksHybrid Systems BiologyVerification and Synthesis of Hybrid SystemsRuntime VerificationExplore Authentic Vietnamese CuisineAuthor data: Open Library