>
Fa
|
Ar
|
En
journal of universal computer science
سال:2007 - دوره:13 - شماره:5
Automated Formal Methods Enter the Mainstream
- صفحه:650-660
Floating-Point Verification
- صفحه:629-638
Formal Methods Guest Editorial
- صفحه:593-601
Formal Methods for Specifying, Validating, and Verifying Requirements
- صفحه:607-618
Formal Methods: Theory Becoming Practice
- صفحه:619-628
Managing Editor’s Column
- صفحه:592-592
Model Checking: Software and Beyond
- صفحه:639-649
Realising the Benefits of Formal Methods
- صفحه:669-678
Software Is More Than Code
- صفحه:602-606
The Verification Grand Challenge
- صفحه:661-668
Copyright 2023
Islamic World Science Citation Center
All Rights Reserved
