IN190469B - - Google Patents
Info
- Publication number
- IN190469B IN190469B IN209BO1998A IN190469B IN 190469 B IN190469 B IN 190469B IN 209BO1998 A IN209BO1998 A IN 209BO1998A IN 190469 B IN190469 B IN 190469B
- Authority
- IN
- India
Links
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| IN209BO1998 IN190469B (de) | 1998-04-07 | 1998-04-07 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| IN209BO1998 IN190469B (de) | 1998-04-07 | 1998-04-07 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| IN190469B true IN190469B (de) | 2003-08-02 |
Family
ID=34778811
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| IN209BO1998 IN190469B (de) | 1998-04-07 | 1998-04-07 |
Country Status (1)
| Country | Link |
|---|---|
| IN (1) | IN190469B (de) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US8935674B2 (en) | 2012-08-15 | 2015-01-13 | International Business Machines Corporation | Determining correctness conditions for use in static analysis |
-
1998
- 1998-04-07 IN IN209BO1998 patent/IN190469B/en unknown
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US8935674B2 (en) | 2012-08-15 | 2015-01-13 | International Business Machines Corporation | Determining correctness conditions for use in static analysis |