The Journal of Knowledge Experience and Computer Science (JITeCS) is a peer-reviewed open entry...
webopedia
The Journal of Information Technology and Computer Science (JITeCS) is a peer-reviewed open entry...
Formal methods are most interesting described as the application of a reasonably broad number...