logo
formal specifications and program development

Kết quả hội nghị (1)

International Symposium on Mathematical Foundations of Computer Science (MFCS)

Rank: AOffline
Warsaw, Poland
Aug 25, 2025 - Aug 29, 2025
and other structurescomputational complexity (structural and model-related)computational geometry+23 thêm