Introduction to the Special Section on FM 2021.

Marieke Huisman Corina S. Pasareanu Naijun Zhan

Published in: Formal Aspects Comput. (2023)

Keyphrases

neural network
mobile devices
database
databases
information systems
website
data structure
data analysis
management system
information retrieval systems