Overview of Tools for Detecting Invariants Based on Java Modeling Language
Year: 2012
Type: article
Author: Xiaobo Huang
Institution: Hunan International Economics University
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2382905101