we describe approaches to efficient

we describe approaches to efficiently check whether applications exhibit or do not exhibit certain properties.

ผลลัพธ์ (ไทย) 2:

เราจะอธิบายวิธีการได้อย่างมีประสิทธิภาพตรวจสอบว่าการจัดแสดงการใช้งานหรือไม่แสดงคุณสมบัติบางอย่าง

ผลลัพธ์ (ไทย) 3:

เราอธิบายวิธีการได้อย่างมีประสิทธิภาพตรวจสอบว่าโปรแกรมแสดงหรือไม่แสดงคุณสมบัติบางอย่าง .