Abstraction Refinement for Probabilistic Software
| Հիմնական հեղինակներ: | , |
|---|---|
| Ձևաչափ: | Conference item |
| Հրապարակվել է: |
Springer
2009
|
| Հիմնական հեղինակներ: | , |
|---|---|
| Ձևաչափ: | Conference item |
| Հրապարակվել է: |
Springer
2009
|